1. Introduction to mathematical logic : set theory, computable functions, model theory
پدیدآورنده : Malitz, Jerome
کتابخانه: Central library and information center (Khorasan Razavi)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
M265
1979
2. Introduction to mathematical logic : set theory computable functions model theory
پدیدآورنده : Malitz, Jerome
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
M265
1979